SPEET SDL performance evaluation tool
نویسندگان
چکیده
This paper presents a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , for the performance analysis of formally speciied systems under real{time conditions. SPEET facilitates the simulation and emulation of several formal speciications at the same time. The systems to be simulated, resp. to be emulated, can be triggered by traac load generators and can be interconnected with transmission links which correspond to physical channels. The user can easily deene probes within the formal speciications. The data of these probes generated during simulation runs, resp. emulation runs, can be statistically evaluated. SPEET provides a new Computer Aided Software Engineering (CASE) oriented solution for product development using formal methods.
منابع مشابه
Performance Analysis of Communication Systems Formally Speciied in Sdl
This paper rst presents the SDL{oriented method of software design and then points out how to handle the non{functional, quantitative design of an SDL{system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET) 2 , is presented for the performance analysis of formally speciied systems under real{time conditions. SPEET facilitates the simulation and emul...
متن کاملPerformance Analysis of Communication Systems Formally Specified in SDL
This paper first presents the SDL–oriented method of software design and then points out how to handle the non–functional, quantitative design of an SDL–system using performance analysis. Finally, a new tool, named SDL Performance Evaluation Tool (SPEET)1, is presented for the performance analysis of formally specified systems under real–time conditions. SPEET facilitates the simulation and emu...
متن کاملAutomatic Functional Verification of OPNET Models with SDL-OPNET Co-Simulation
Owing to the model-driven development (MDD) technology, reliable network protocols could be developed with an integrated and systematic way. As performance, another core metric for evaluation of network protocols, is usually not the target of MDD process, how to connect performance evaluation to the MDD process is an important issue. This paper presents a method to enhance the reliability of pe...
متن کاملEarly performance prediction of SDL/MSC specified systems by automated synthetic code generation
We present a new approach for early performance prediction based on MSC speci ed systems in the context of SDL Our approach is integrated into existing design methodologies as proposed by commercial tool vendors where communication software is fully speci ed in SDL and the nal implementation is derived from there Obviously the structure of the SDL speci cation will in uence the performance of t...
متن کاملUsing SDL for Hardware/Software Co-Design of an ATM Network Interface Card
The Co-design is the process of generating a mixed hardware/software architecture starting from system-level model. This paper discusses the uses of SDL for the co-design of an ATM Network Interface Card (NIC). In this study, the initial specification is given in SDL. The architecture generation is made using Cosmos, a co-design tool for multiprocessor architecture. Several architectures are pr...
متن کامل